Time augmented nets as descriptions of real-time and hybrid systems
Identifieur interne : 00CA65 ( Main/Exploration ); précédent : 00CA64; suivant : 00CA66Time augmented nets as descriptions of real-time and hybrid systems
Auteurs : D. Cook [Australie] ; R. Evans [Australie]Source :
Descripteurs français
- Pascal (Inist)
English descriptors
- KwdEn :
Abstract
Nous présentons un modèle de systèmes hybrides ayant pour base les reseaux de Petri augmentés d'activités, d'invariantes, de relations de transition et de jetons à valeur reelle. Nous définissons la structure statique ainsi que le comportement dynamique de notre modèle et démontrons l'application d'une technique de vérification de programme basé sur la computation de points fixes de fonctions continues sur transformateurs de prédicat. Notre étude est accompagnée d'un exemple simple.
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream PascalFrancis, to step Corpus: 006463
- to stream PascalFrancis, to step Curation: 006B91
- to stream PascalFrancis, to step Checkpoint: 006225
- to stream Main, to step Merge: 00DB12
- to stream Main, to step Curation: 00CA65
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" level="a">Time augmented nets as descriptions of real-time and hybrid systems</title>
<author><name sortKey="Cook, D" sort="Cook, D" uniqKey="Cook D" first="D." last="Cook">D. Cook</name>
<affiliation wicri:level="4"><inist:fA14 i1="01"><s1>Department of Electrical and Electronic Engineering, The University of Melbourne</s1>
<s2>Parkville, VIC, 3052</s2>
<s3>AUS</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>Australie</country>
<placeName><settlement type="city">Melbourne</settlement>
<region type="état">Victoria (État)</region>
</placeName>
<orgName type="university">Université de Melbourne</orgName>
</affiliation>
</author>
<author><name sortKey="Evans, R" sort="Evans, R" uniqKey="Evans R" first="R." last="Evans">R. Evans</name>
<affiliation wicri:level="4"><inist:fA14 i1="01"><s1>Department of Electrical and Electronic Engineering, The University of Melbourne</s1>
<s2>Parkville, VIC, 3052</s2>
<s3>AUS</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>Australie</country>
<placeName><settlement type="city">Melbourne</settlement>
<region type="état">Victoria (État)</region>
</placeName>
<orgName type="university">Université de Melbourne</orgName>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">INIST</idno>
<idno type="inist">99-0094736</idno>
<date when="1998">1998</date>
<idno type="stanalyst">PASCAL 99-0094736 INIST</idno>
<idno type="RBID">Pascal:99-0094736</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">006463</idno>
<idno type="wicri:Area/PascalFrancis/Curation">006B91</idno>
<idno type="wicri:Area/PascalFrancis/Checkpoint">006225</idno>
<idno type="wicri:explorRef" wicri:stream="PascalFrancis" wicri:step="Checkpoint">006225</idno>
<idno type="wicri:Area/Main/Merge">00DB12</idno>
<idno type="wicri:Area/Main/Curation">00CA65</idno>
<idno type="wicri:Area/Main/Exploration">00CA65</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en" level="a">Time augmented nets as descriptions of real-time and hybrid systems</title>
<author><name sortKey="Cook, D" sort="Cook, D" uniqKey="Cook D" first="D." last="Cook">D. Cook</name>
<affiliation wicri:level="4"><inist:fA14 i1="01"><s1>Department of Electrical and Electronic Engineering, The University of Melbourne</s1>
<s2>Parkville, VIC, 3052</s2>
<s3>AUS</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>Australie</country>
<placeName><settlement type="city">Melbourne</settlement>
<region type="état">Victoria (État)</region>
</placeName>
<orgName type="university">Université de Melbourne</orgName>
</affiliation>
</author>
<author><name sortKey="Evans, R" sort="Evans, R" uniqKey="Evans R" first="R." last="Evans">R. Evans</name>
<affiliation wicri:level="4"><inist:fA14 i1="01"><s1>Department of Electrical and Electronic Engineering, The University of Melbourne</s1>
<s2>Parkville, VIC, 3052</s2>
<s3>AUS</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>Australie</country>
<placeName><settlement type="city">Melbourne</settlement>
<region type="état">Victoria (État)</region>
</placeName>
<orgName type="university">Université de Melbourne</orgName>
</affiliation>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Hybrid system</term>
<term>Modeling</term>
<term>Petri net</term>
<term>Real time system</term>
</keywords>
<keywords scheme="Pascal" xml:lang="fr"><term>Modélisation</term>
<term>Réseau Pétri</term>
<term>Système hybride</term>
<term>Système temps réel</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="fr">Nous présentons un modèle de systèmes hybrides ayant pour base les reseaux de Petri augmentés d'activités, d'invariantes, de relations de transition et de jetons à valeur reelle. Nous définissons la structure statique ainsi que le comportement dynamique de notre modèle et démontrons l'application d'une technique de vérification de programme basé sur la computation de points fixes de fonctions continues sur transformateurs de prédicat. Notre étude est accompagnée d'un exemple simple.</div>
</front>
</TEI>
<affiliations><list><country><li>Australie</li>
</country>
<region><li>Victoria (État)</li>
</region>
<settlement><li>Melbourne</li>
</settlement>
<orgName><li>Université de Melbourne</li>
</orgName>
</list>
<tree><country name="Australie"><region name="Victoria (État)"><name sortKey="Cook, D" sort="Cook, D" uniqKey="Cook D" first="D." last="Cook">D. Cook</name>
</region>
<name sortKey="Evans, R" sort="Evans, R" uniqKey="Evans R" first="R." last="Evans">R. Evans</name>
</country>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Asie/explor/AustralieFrV1/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00CA65 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 00CA65 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Asie |area= AustralieFrV1 |flux= Main |étape= Exploration |type= RBID |clé= Pascal:99-0094736 |texte= Time augmented nets as descriptions of real-time and hybrid systems }}
This area was generated with Dilib version V0.6.33. |